Risk information formalisation with graphs
نویسندگان
چکیده
منابع مشابه
HoTT formalisation in Coq: Dependency Graphs \& ML4PG
This note is a response to Bas Spitter's email of 28 February 2014 about ML4PG:"We (Jason actually) are adding dependency graphs to our HoTT library: https://github.com/HoTT/HoTT/wiki I seem to recall that finding the dependency graph was a main obstacle preventing machine learning to be used in Coq. However, you seem to have made progress on this. What tool are you using? https://anne.pacalet....
متن کاملDependently-Typed Formalisation of Typed Term Graphs
The Coconut project [AK09a, AK09b] uses “code graphs” [KAC06], a variant of term graphs in the spirit of “jungles” [HP91, CR93], as intermediate presentation for the generation of highly optimised assembly code. This is currently implemented in Haskell, and we use the Haskell type system in an embedded domain-specific language (EDSL) for creating such code graphs via what appears to be standard...
متن کاملInformation Evaluation: a formalisation of operational recommandations
An important step in the intelligence gathering process is the fusion of information provided by several sources. The objective of this process is to build an up-to-date and correct picture of the current situation with the overall available information in order to make adequate decisions. In the framework of intelligence, in opposition to air defense domain for example, there is no real automa...
متن کاملA Formalised Approach to the Management of Risk: Process Formalisation
Observations made while working with industry and government organisations have shown a number of issues with the implementation of current risk management best practice. A major issue in many cases is the lack of pragmatism associated with the risk management process and the need for a more formalised approach to risk management. In this paper, the authors propose and validate a multi-view app...
متن کاملEnriching Query Flow Graphs with Click Information
The increased availability of large amounts of data about user search behaviour in search engines has triggered a lot of research in recent years. This includes developing machine learning methods to build knowledge structures that could be exploited for a number of tasks such as query recommendation. Query flow graphs are a successful example of these structures, they are generated from the se...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers in Industry
سال: 2017
ISSN: 0166-3615
DOI: 10.1016/j.compind.2016.12.004